Chamau: an Ml Dialect with Quotations, Grammars, and Extensible Syntax
نویسنده
چکیده
We present 1 Chamau, a dialect of ML, enriched with support for concrete syntax manipulations. Chamau has the following original features: quotations, allowing the programmer to give a user-deened syntax to arbitrary values, and extensible grammars: a library to ease parser deenitions. Moreover, Chamau's concrete syntax is itself extensible, which makes it possible to specialize the language to application domains. Chamau is based on the Caml Special Light system Ler95], and therefore features an extremely ee-cient compiler and an expressive higher order module system.
منابع مشابه
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expressions, etc., and a small, simple core language. We address this dilemma by proposing extensible grammars, a syntax-definition formalism for incremental language extensions and restrictions based on an initial core language...
متن کاملA Complete and Realistic Implementation of Quotations for Ml
Quotations have been introduced in the very rst versions of ML 6] in order to represent propositions in the LCF logic under a concrete form. ML was the metalanguage of this logic, and the logic was its object language. In this paper, we describe a new implementation of quotations in a variant of Caml-Light 8]. We address several important problems, namely the impact of such a mechanism on the d...
متن کاملGrammar Re-Engineering for Language Centered Software Engineering
This paper describes a systematic approach to grammar re-engineering by transforming conventional restricted YACC grammars from legacy code into the purely declarative syntax definition formalism SDF. The declarative nature of SDF and its ability to handle the full class of context-free grammars allows grammar definitions that are more readable and maintainable compared to the original YACC gra...
متن کاملThe formalization and implementation of Adaptable Parsing Expression Grammars
• We propose an adaptable model based on Parsing Expression Grammars. • We added attributes to PEG so extensibility is achieved by means of grammar attributes. • The model is formally defined. • The implementation of the adaptable model is detailed. • The adaptable model preserves PEG legibility. a r t i c l e i n f o a b s t r a c t The term " extensible language " is especially used when a la...
متن کاملAn Introductory Tutorial on JastAdd Attribute Grammars
JastAdd is an open-source system for generating compilers and other language-based tools. Its declarative specification language is based on reference attribute grammars and object-orientation. This allows tools to be implemented as composable extensible modules, as exemplified by JastAddJ, a complete extensible Java compiler. This tutorial gives an introduction to JastAdd and its core attribut...
متن کامل